Hourglass Systems
نویسندگان
چکیده
In this paper, we first describe a simplified scenario observed in mining operations, where trucks are loaded and emptied at different locations. We will then look at ways that we can model this subsystem using timed automata so we may be able to apply model checking techniques on such systems. Specifically, we will look at modifications to the Hourglass Automata and Interrupt Timed Automata to model the truck loading, unloading scenario, and we will show that reachability is maintained.
منابع مشابه
The hourglass effect in hierarchical dependency networks
Many hierarchically modular systems are structured in a way that resembles an hourglass. This “hourglass effect” means that the system generates many outputs from many inputs through a relatively small number of intermediate modules that are critical for the operation of the entire system, referred to as the waist of the hourglass. We investigate the hourglass effect in general, not necessarily...
متن کاملOn the Hourglass Model
The Hourglass Model The hourglass model of layered systems architecture [1] is a visual and conceptual representation of an approach to achieving a design that supports a great diversity of applications and admits a great diversity of implementations. At the center of the hourglass model is a distinguished layer in a stack of abstractions that is chosen as the sole means of accessing the resour...
متن کاملAn explanatory evo-devo model for the developmental hourglass
The "developmental hourglass'' describes a pattern of increasing morphological divergence towards earlier and later embryonic development, separated by a period of significant conservation across distant species (the "phylotypic stage''). Recent studies have found evidence in support of the hourglass effect at the genomic level. For instance, the phylotypic stage expresses the oldest and most c...
متن کاملPost-embryonic Hourglass Patterns Mark Ontogenetic Transitions in Plant Development
The historic developmental hourglass concept depicts the convergence of animal embryos to a common form during the phylotypic period. Recently, it has been shown that a transcriptomic hourglass is associated with this morphological pattern, consistent with the idea of underlying selective constraints due to intense molecular interactions during body plan establishment. Although plants do not ex...
متن کاملBiological timing and the clock metaphor: oscillatory and hourglass mechanisms.
Living organisms have developed a multitude of timing mechanisms--"biological clocks." Their mechanisms are based on either oscillations (oscillatory clocks) or unidirectional processes (hourglass clocks). Oscillatory clocks comprise circatidal, circalunidian, circadian, circalunar, and circannual oscillations--which keep time with environmental periodicities--as well as ultradian oscillations,...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2015